| 1. Identificação | ||||||||||
| Tipo de Referência | Tese ou Dissertação (Thesis) | |||||||||
| Site | mtc-m21b.sid.inpe.br | |||||||||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||||||||
| Identificador | 8JMKD3MGP3W34P/3Q44DE8 | |||||||||
| Repositório | sid.inpe.br/mtc-m21b/2017/11.23.13.04 | |||||||||
| Última Atualização | 2018:02.21.13.36.56 (UTC) simone | |||||||||
| Repositório de Metadados | sid.inpe.br/mtc-m21b/2017/11.23.13.04.25 | |||||||||
| Última Atualização dos Metadados | 2018:06.04.02.28.00 (UTC) administrator | |||||||||
| Chave Secundária | INPE-17968-TDI/2688 | |||||||||
| Chave de Citação | Maciel:2018:SpInLo | |||||||||
| Título | Spatiotemporal interval logic for reasoning about land use change dynamics  | |||||||||
| Título Alternativo | Lógica de intervalo espaço-temporal para raciocinar sobre dinâmica de mudança de uso da terra | |||||||||
| Curso | CAP-COMP-SESPG-INPE-MCTIC-GOV-BR | |||||||||
| Ano | 2018 | |||||||||
| Data | 2017-12-12 | |||||||||
| Data de Acesso | 08 maio 2024 | |||||||||
| Tipo da Tese | Tese (Doutorado em Computação Aplicada) | |||||||||
| Tipo Secundário | TDI | |||||||||
| Número de Páginas | 131 | |||||||||
| Número de Arquivos | 1 | |||||||||
| Tamanho | 13920 KiB | |||||||||
| 2. Contextualização | ||||||||||
| Autor | Maciel, Adeline Marinho | |||||||||
| Banca | Santos, Rafael Duarte Coelho dos (presidente) Vinhas, Lúbia (orientadora) Câmara, Gilberto (orientador) Monteiro, Antônio Miguel Vieira Sanches, Ieda Del'Arco Carvalho, Alexandre Xavier Ywata de Carneiro, Tiago Garcia de Senna | |||||||||
| Endereço de e-Mail | adelsud6@gmail.com | |||||||||
| Universidade | Instituto Nacional de Pesquisas Espaciais (INPE) | |||||||||
| Cidade | São José dos Campos | |||||||||
| Histórico (UTC) | 2017-11-23 13:04:25 :: adelsud6@gmail.com -> yolanda.souza@mcti.gov.br :: 2017-11-24 11:41:23 :: yolanda.souza@mcti.gov.br -> adelsud6@gmail.com :: 2017-11-27 18:17:13 :: adelsud6@gmail.com -> yolanda.souza@mcti.gov.br :: 2017-11-28 11:05:53 :: yolanda.souza@mcti.gov.br -> adelsud6@gmail.com :: 2018-01-18 17:54:15 :: adelsud6@gmail.com -> yolanda.souza@mcti.gov.br :: 2018-02-16 14:05:59 :: yolanda.souza@mcti.gov.br -> administrator :: 2018-02-21 13:00:14 :: administrator -> yolanda :: 2018-02-21 13:01:06 :: yolanda -> yolanda.souza@mcti.gov.br :: 2018-02-21 13:37:16 :: yolanda.souza@mcti.gov.br -> simone :: 2018-02-21 19:29:52 :: simone -> administrator :: -> 2018 2018-06-04 02:28:00 :: administrator -> :: 2018 | |||||||||
| 3. Conteúdo e estrutura | ||||||||||
| É a matriz ou uma cópia? | é a matriz | |||||||||
| Estágio do Conteúdo | concluido | |||||||||
| Transferível | 1 | |||||||||
| Palavras-Chave | events spatiotemporal logic formalism big Earth observation data land use change eventos espaço-temporal formalismo lógico grandes conjuntos de dados de observação da Terra mudança de uso da terra | |||||||||
| Resumo | With the global population growth, the food production will need to rise, potentially causing extensive environmental damage. In Brazil, the demand for farmland is the key immediate driver of land use change, which has influence in public policies. For example, the soy and beef moratorium, that aim at reducing the advance of soybean cropping and pasture areas expansion over the Amazon biome. Currently, Earth observation satellites form part of a comprehensive Earth observation system due to their higher spatial, temporal and spectral resolutions, providing continuous and consistent information about Earths surface. It is the era of big Earth observation data. It has been creating new perspectives in remote sensing data analysis that enable the development of land use and land cover maps at higher spatial resolution and with high temporal frequency. Given this scenery, this thesis introduces a spatiotemporal interval logic mechanism that can be used for reasoning about land use change dynamics, from big Earth observation data systems. The main contribution of this mechanism is to use the concept of events to reason about land use change. Building on this view this thesis extends Allens interval temporal logic to the spatial context, resulting in a formal calculus that allows users to express queries about the land use dynamics. The calculus allows scientists to manipulate large sets of land use data in a flexible way, to understand the environmental and economic effects of land use change. The formalism was applied in three cases studies to identify and quantifying land use transitions in Mato Grosso state in Brazil. RESUMO: Com o crescimento da população mundial, a produção de alimentos precisará aumentar potencialmente causando grandes danos ambientais. No Brasil, a demanda por terras agrícolas é o principal condutor imediato da mudança de uso da terra, que influência políticas públicas. Por exemplo, a moratória da soja e da carne que visam reduzir o avanço da expansão de áreas de cultivo de soja e pastagem sobre o bioma Amazônia. Atualmente, satélites de observação da Terra fazem parte de um sistema abrangente de observação da Terra devido às suas maiores resoluções espaciais, temporais e espectrais, fornecendo informações contínuas e consistentes sobre a superfície terrestre. É a era dos grandes conjuntos de dados de observação da Terra. Isso tem criado novas perspectivas na análise de dados de sensoriamento remoto que permitem o desenvolvimento de mapas de uso e cobertura da terra com maior resolução espacial e com alta frequência temporal. Dado este cenário, esta tese introduz um mecanismo de lógica de intervalo espaço-temporal que pode ser usado para raciocinar sobre as dinâmicas de mudança de uso da terra, a partir de sistemas de grandes conjuntos de dados de observação da Terra. A principal contribuição deste mecanismo é usar o conceito de eventos para raciocinar sobre mudança de uso da terra. Com base nesta perspectiva, essa tese estende a lógica temporal de intervalos de Allen para o contexto espacial, resultando em um cálculo formal que permite usuários expressar consultas sobre a dinâmica de uso da terra. O cálculo permite aos cientistas manipular grandes conjuntos de dados de uso da terra de uma maneira flexível para entender os efeitos ambientais e econômicos da mudança de uso da terra. O formalismo foi aplicado em três estudos de casos para identificar e quantificar transições de uso da terra no estado de Mato Grosso, Brasil. | |||||||||
| Área | COMP | |||||||||
| Arranjo | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Spatiotemporal interval logic... | |||||||||
| Conteúdo da Pasta doc | acessar | |||||||||
| Conteúdo da Pasta source |
| |||||||||
| Conteúdo da Pasta agreement |
| |||||||||
| 4. Condições de acesso e uso | ||||||||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34P/3Q44DE8 | |||||||||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34P/3Q44DE8 | |||||||||
| Idioma | en | |||||||||
| Arquivo Alvo | publicacao.pdf | |||||||||
| Grupo de Usuários | adelsud6@gmail.com gabinete@inpe.br simone yolanda.souza@mcti.gov.br | |||||||||
| Grupo de Leitores | adelsud6@gmail.com administrator gabinete@inpe.br simone yolanda yolanda.souza@mcti.gov.br | |||||||||
| Visibilidade | shown | |||||||||
| Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.10 | |||||||||
| Permissão de Leitura | allow from all | |||||||||
| Permissão de Atualização | não transferida | |||||||||
| 5. Fontes relacionadas | ||||||||||
| Repositório Espelho | sid.inpe.br/mtc-m21b/2013/09.26.14.25.22 | |||||||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F2PHGS | |||||||||
| Lista de Itens Citando | ||||||||||
| Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 | |||||||||
| 6. Notas | ||||||||||
| Campos Vazios | academicdepartment affiliation archivingpolicy archivist callnumber contenttype copyholder creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype | |||||||||